
\section{Experiment}
\label{sec:experiment}



% Descrever em linhas gerais o experimento
In this work, we empirically evaluate both a manual and a MBT testing
strategy. We conducted a controlled experiment where testers had to
generate and execute test suites using those approaches. Then, we gathered the
time spent and the reported bugs by each technique.
The next subsections describe the experiment definition (\ref{sub-sec:exp-definition}),
planning and execution (\ref{sub-sec:exp-design}),
results (\ref{sub-sec:exp-results}), discussion (\ref{sub-sec:exp-discussion}),
and threats to validity (\ref{sub-sec:exp-threats}).

%\footnote{The experiment results are available on http://pdh.co/5Jh}

\input{sections/experiment-design}

\input{sections/experiment-results}

\input{sections/experiment-discussion}
